Une généralisation du théorème de Cartwright

Une preuve formelle et intuitionniste du théorème de complétude de la logique classique

Il est bien connu que la correspondance de Curry-Howard permet d’associer un programme, sous la forme d’un λ-terme, à toute preuve intuitionniste, formalisée dans le calcul des prédicats du second ordre (voir, par exemple [3]). Cette correspondance a été étendue, assez récemment, à la logique classique moyennant une extension convenable du λ-calcul (voir [1,4,5,6]). Chaque théorème formalisé en...

Une généralisation automorphe des nombres de Stirling

Let [n] be theset {1,2, *.. , n> and CT a given permutation in S,, the symmetric group on [n]. The (unsigned) Stirling numbers of the first kind enumerate the permutations on En] with k cycles and those of the second kind give the number partitions of [n] having k blocks. In this paper we compute the number of permutations on [n] with k cycles and the number of partitions on [n] having k blocks...

Sur une souche de Pasteurella agent d'abcès enzootiques du lapin

Une généralisation de la notion d'automate et applications

Une generalisation du theoreme de Kobayashi-Ochiai